package org.xteam.sled.model;

public interface ILatentSequent extends ISequent {

	ILabelledSequent injectLatent();

}
